PlusCal 相关硕士博士期刊学术论文 - 搜论网

PlusCal相关论文

GVim的TLA^＋语言插件设计与实现

GVim是一款著名的编辑器，它允许用户为方便使用而自定义插件。TLA^＋语言是由Leslie Lamport设计的基于行为时序逻辑的一门系统描述语......

期刊

GVim TLA+ PlusCal 插件 GVim TLA^＋ PlusCal plugin

基于行为时序逻辑TLA的算法分析与验证

摘要：行为时序逻辑TLA是由Leslie Lamport提出的新的逻辑，它结合了行为逻辑和时序逻辑的特点，增强了表达能力。Dekker互斥算法最早是......

期刊

行为时序逻辑 PlusCal TOOLBOX DEKKER算法

看过本文同时还关注